813 research outputs found

    Query Evaluation with Asymmetric Web Services

    No full text

    Sustainable solutions for the construction sector: integration of secondary raw materials in the production cycle of concrete

    Get PDF
    The construction industry is one of the largest consumers of raw materials and energy and one of the highest contributor to green-houses gases emissions. In order to become more sustainable it needs to reduce the use of both raw materials and energy, thus lim-iting its environmental impact. Developing novel technologies to integrate secondary raw materials (i.e. lightweight recycled aggre-gates and alkali activated “cementless” binders - geopolymers) in the production cycle of concrete is an all-inclusive solution to im-prove both sustainability and cost-efficiency of construction industry. SUS-CON “SUStainable, Innovative and Energy-Efficiency CONcrete, based on the integration of all-waste materials” is an European project (duration 2012-2015), which aim was the inte-gration of secondary raw materials in the production cycle of concrete, thus resulting in innovative, sustainable and cost-effective building solutions. This paper presents the main outcomes related to the successful scaling-up of SUS-CON concrete solutions in traditional production plants. Two European industrial concrete producers have been involved, to design and produce both pre-cast components (blocks and panels) and ready-mixed concrete. Recycled polyurethane foams and mixed plastics were used as aggre-gates, PFA (Pulverized Fuel Ash, a by-product of coal fuelled power plants) and GGBS (Ground Granulated Blast furnace Slag, a by-product of iron and steel industries) as binders. Eventually, the installation of SUS-CON concrete solutions on real buildings has been demonstrated, with the construction of three mock-ups located in Europe (Spain, Turkey and Romania

    The Paths to Choreography Extraction

    Full text link
    Choreographies are global descriptions of interactions among concurrent components, most notably used in the settings of verification (e.g., Multiparty Session Types) and synthesis of correct-by-construction software (Choreographic Programming). They require a top-down approach: programmers first write choreographies, and then use them to verify or synthesize their programs. However, most existing software does not come with choreographies yet, which prevents their application. To attack this problem, we propose a novel methodology (called choreography extraction) that, given a set of programs or protocol specifications, automatically constructs a choreography that describes their behavior. The key to our extraction is identifying a set of paths in a graph that represents the symbolic execution of the programs of interest. Our method improves on previous work in several directions: we can now deal with programs that are equipped with a state and internal computation capabilities; time complexity is dramatically better; we capture programs that are correct but not necessarily synchronizable, i.e., they work because they exploit asynchronous communication

    Linear and Nonlinear Spectroscopy by a Common-Path Birefringent Interferometer

    Get PDF
    © 1995-2012 IEEE. We introduce a passive common-path interferometer to replace Michelson interferometers in the Fourier-Transform spectroscopy. Our device exploits birefringence to introduce a highly accurate delay between two orthogonal polarization components by continuously varying the material thickness. Due to its inherent delay stability and reproducibility, it can be used even for short wavelengths (down to ∼200 nm) without the need for any active control or position tracking. We first demonstrate its performances in linear spectroscopy, by implementing a spectrometer and a spectrophotometer. We then extend its use to nonlinear spectroscopy and, in combination with lock-in detection at MHz modulation frequencies, illustrate its application to pump-probe spectroscopy with high sensitivity (ΔT/T 500 nm) and to broadband stimulated Raman scattering microscopy in the CH stretching region

    Choreographies in Practice

    Full text link
    Choreographic Programming is a development methodology for concurrent software that guarantees correctness by construction. The key to this paradigm is to disallow mismatched I/O operations in programs, called choreographies, and then mechanically synthesise distributed implementations in terms of standard process models via a mechanism known as EndPoint Projection (EPP). Despite the promise of choreographic programming, there is still a lack of practical evaluations that illustrate the applicability of choreographies to concrete computational problems with standard concurrent solutions. In this work, we explore the potential of choreographies by using Procedural Choreographies (PC), a model that we recently proposed, to write distributed algorithms for sorting (Quicksort), solving linear equations (Gaussian elimination), and computing Fast Fourier Transform. We discuss the lessons learned from this experiment, giving possible directions for the usage and future improvements of choreography languages

    Adaptive estimation in circular functional linear models

    Get PDF
    We consider the problem of estimating the slope parameter in circular functional linear regression, where scalar responses Y1,...,Yn are modeled in dependence of 1-periodic, second order stationary random functions X1,...,Xn. We consider an orthogonal series estimator of the slope function, by replacing the first m theoretical coefficients of its development in the trigonometric basis by adequate estimators. Wepropose a model selection procedure for m in a set of admissible values, by defining a contrast function minimized by our estimator and a theoretical penalty function; this first step assumes the degree of ill posedness to be known. Then we generalize the procedure to a random set of admissible m's and a random penalty function. The resulting estimator is completely data driven and reaches automatically what is known to be the optimal minimax rate of convergence, in term of a general weighted L2-risk. This means that we provide adaptive estimators of both the slope function and its derivatives

    Effect of maleic anhydride–aniline derivative buffer layer on the properties of flexible substrate heterostructures: Indium tin oxide/nucleic acid base/metal

    Get PDF
    This paper presents some investigations on the properties of guanine (G) and cytosine (C) based heterostructures deposited on flexible substrates. The effects of two types of maleic anhydride–aniline derivatives (maleic anhydride-cyano aniline or maleic anhydride-2,4 dinitroaniline) buffer layer, deposited between indium tin oxide and (G) or (C) layer, on the optical and electrical properties of the heterostructures have been identified.The heterostructures containing a film of maleic anhydride-2,4 dinitroaniline have shown a good transparency and low photoluminescence in visible range. This buffer layer has determined an increase in the conductance only in the heterostructures based on (G) and (C) deposited on biaxially-oriented polyethylene terephthalate substrate

    The EuroHeart Failure survey programme—a survey on the quality of care among patients with heart failure in Europe Part 1: patient characteristics and diagnosis

    Get PDF
    The European Society of Cardiology (ESC) has published guidelines for the investigation of patients with suspected heart failure and, if the diagnosis is proven, their subsequent management. Hospitalisation provides a key point of care at which time diagnosis and treatment may be refined to improve outcome for a group of patients with a high morbidity and mortality. However, little international data exists to describe the features and management of such patients. Accordingly, the EuroHeart Failure survey was conducted to ascertain if appropriate tests were being performed with which to confirm or refute a diagnosis of heart failure and how this influenced subsequent management. Methods The survey screened consecutive deaths and discharges during 2000-2001 predominantly from medical wards over a 6-week period in 115 hospitals from 24 countries belonging to the ESC, to identify patients with known or suspected heart failure. Results A total of 46,788 deaths and discharges were screened from which 11,327 (24%) patients were enrolled with suspected or confirmed heart failure. Forty-seven percent of those enrolled were women. Fifty-one percent of women and 30% of men were aged >75 years. Eighty-three percent of patients had a diagnosis of heart failure made on or prior to the index admission. Heart failure was the principal reason for admission in 40%. The great majority of patients (>90%) had had an ECG, chest X-ray, haemoglobin and electrolytes measured as recommended in ESC guidelines, but only 66% had ever had an echocardiogram. Left ventricular ejection fraction had been measured in 57% of men and 41% of women, usually by echocardiography (84%) and was <40% in 51% of men but only in 28% of women. Forty-five percent of women and 22% of men were reported to have normal left ventricular systolic function by qualitative echocardiographic assessment. A substantial proportion of patients had alternative explanations for heart failure other than left ventricular systolic or diastolic dysfunction, including valve disease. Within 12 weeks of discharge, 24% of patients had been readmitted. A total of 1408 of 10,434 (13.5%) patients died between admission and 12 weeks follow-up. Conclusions Known or suspected heart failure comprises a large proportion of admissions to medical wards and such patients are at high risk of early readmission and death. Many of the basic investigations recommended by the ESC were usually carried out, although it is not clear whether this was by design or part of a general routine for all patients being admitted regardless of diagnosis. The investigation most specific for patients with suspected heart failure (echocardiography) was performed less frequently, suggesting that the diagnosis of heart failure is still relatively neglected. Most men but a minority of women who underwent investigation of cardiac function had evidence of moderate or severe left ventricular dysfunction, the main target of current advances in the treatment of heart failure. Considerable diagnostic uncertainty remains for many patients with suspected heart failure, even after echocardiography, which must be resolved in order to target existing and new therapies and services effectively. (C) 2003 Published by Elsevier Science Ltd on behalf of The European Society of Cardiology
    corecore